; * etc/NEWS: Add doc markup for char-to-name
authorRobert Pluim <rpluim@gmail.com>
Tue, 11 Jun 2024 16:35:46 +0000 (18:35 +0200)
committerRobert Pluim <rpluim@gmail.com>
Wed, 12 Jun 2024 11:35:41 +0000 (13:35 +0200)
commit3905db6e3aa947b847c072259ad6d08c8a15e10e
tree0dfcfe23466ffacc60eb1605877a8104ab6179d3
parentebb0a3036d2256c214b3116b029ecbcc63040be0
; * etc/NEWS: Add doc markup for char-to-name
etc/NEWS